Forcing Axioms and the Continuum Hypothesis, Part Ii: Transcending Ω1-sequences of Real Numbers
نویسنده
چکیده
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah.
منابع مشابه
The Continuum Hypothesis, Part II, Volume 48, Number 7
Introduction In the first part of this article, I identified the correct axioms for the structure 〈P(N),N,+, ·,∈〉 , which is the standard structure for Second Order Number Theory. The axioms, collectively “Projective Determinacy”, solve many of the otherwise unsolvable, classical problems of this structure. Actually working from the axioms of set theory, ZFC, I identified a natural progression ...
متن کاملOn a Class of Maximality Principles
We study various classes of maximality principles, MP(κ,Γ), introduced by J.D. Hamkins in [6], where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ,Γ) with various forcing axioms when κ ∈ {ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximalit...
متن کاملCombinatorial Properties of Classical Forcing Notions
We investigate the effect of adding a single real (for various forcing notions adding reals) on cardinal invariants associated with the continuum. We show: (1) adding an eventually different or a localization real adjoins a Luzin set of size continuum and a mad family of size ω1; (2) Laver and Mathias forcing collapse the dominating number to ω1, and thus two Laver or Mathias reals added iterat...
متن کاملBaire Reflection
We study reflection principles involving nonmeager sets and the Baire Property which are consequences of the generic supercompactness of ω2, such as the principle asserting that any point countable Baire space has a stationary set of closed subspaces of weight ω1 which are also Baire spaces. These principles entail the analogous principles of stationary reflection but are incompatible with forc...
متن کاملWoodin on the Continuum Problem: an overview and some objections
I consider W. Hugh Woodin’s approach to the Continuum Problem, giving a brief overview of it and discussing a few objections which can be raised against it. In the last few years, Woodin has developed a new approach to the problem, which has produced such results that although it is not yet solved, one could argue that there are at present clear symptoms that it could have a solution. Woodin’s ...
متن کامل